MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 25-Nov-96 00:40:59 GMT
Content-Type: text/html
Content-Length: 583
Last-Modified: Monday, 28-Oct-96 18:19:45 GMT

<TITLE>Nuprl Automated Reasoning Project Documentation</TITLE>
<H1>Nuprl Automated Reasoning Project Documentation</H1> <p>

<H1>Documents Available</H1>

<A HREF="../manual.with.index/it.html">Nuprl 4.1 Reference Manual and User's Guide</A> <P>
<A HREF="../tutorial/intro-tutorial.html">Nuprl 4.1 Tutorial</A> <P>
<A HREF="../book/book-intro.html">Implementing Mathematics with the Nuprl Proof Development System</A> <P>

<P> <HR> <P>

<A HREF="../index.html"> <IMG SRC="../icons/index.gif">
 Return to Main Index </A> <P>

<ADDRESS> Nuprl Project / nuprl@cs.cornell.edu </ADDRESS>
